1. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
پدیدآورنده : \ [edited by] Thomas Eiter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,Logic programming.,هوش مصنوعی,برنامهنویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
2. <An> Introduction to Default Logic
پدیدآورنده : Philippe Besnard
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Artificial Intelligence,Logic programming,Logic
رده :
Q
،
335
،.
B49
،
1989
3. An introduction to default logic
پدیدآورنده : Besnard, Philippe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Artificial intelligence,، Logic programming,، Logic
رده :
Q
335
.
B49
1989
4. Answer set programming /
پدیدآورنده : by Vladimir Lifschitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
رده :
QA76
.
63
5. Approche logique de lintelligence artificielle
پدیدآورنده : Par Andre Thayse... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence , Logic programming
رده :
Q
335
.
A675
6. Artificial intelligence in simulation
پدیدآورنده : FUTO,IVAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
7. Constraint Solving and Language Processing
پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
8. Correct reasoning
پدیدآورنده : Esra Erdem ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence,Logic programming
رده :
QA76
.
63
.
C67
2012eb
9. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
10. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
11. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
12. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
13. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
14. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
15. Inductive logic programming
پدیدآورنده : Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence,Logic programming,Machine learning
رده :
QA76
.
63
I52
2012eb
16. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
17. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
18. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
19. Logic grammars
پدیدآورنده : Abramson, Harvey
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Artificial intelligence
رده :
QA
76
.
6
.
A26
1989